extended left-linearity

[计] 扩充的左线性